- конечное дополнение
- finite complement мат.
Русско-английский научно-технический словарь Масловского. 2015.
Русско-английский научно-технический словарь Масловского. 2015.
ГРАММАТИКА СОСТАВЛЯЮЩИХ — грамматика непосредственно составляющих, НС грамматика, грамматика контекстная, частный случай грамматики порождающей, когда каждое ее правило имеет вид , где цепочки в алфавите и 0 непуста. Каждый шаг вывода в Г. с. состоит в замене одного… … Математическая энциклопедия
ECHO — ECHO хеш функция, выдвинутая как кандидат на конкурс SHA 3, проводимый Национальным институтом стандартов и технологий (США). Алгоритм разработан в Orange Labs, его авторы: Ryad Benadjila Olivier Billet Henri Gilbert Gilles Macario Rat… … Википедия
Разрешимое множество — В теории множеств, теории алгоритмов и математической логике, множество натуральных чисел называется разрешимым или рекурсивным, если существует алгоритм, который, получив на вход любое натуральное число, через конечное число шагов завершается и… … Википедия
Валовый внутренний продукт — (Gross domestic product, ВВП) Определение ВВП, история происхождения и методы расчета Информация об определении ВВП, история происхождения и методы расчета Содержание > Валовый внутренний продукт это, определение ВАЛОВОЙ ВНУТРЕННИЙ , [gross… … Энциклопедия инвестора
SOSEMANUK — быстрый программно ориентированный поточный шифр Содержание 1 Аннотация 2 Введение 3 Обозначения … Википедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
Старофранцузский язык — Самоназвание: Français du roy Страны: Галлия (Франция) … Википедия
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
Макроэкономика — (Macroeconomics) Макроэкономика это наука, изучающая глобальные экономические процессы Определение понятия макроэкономика, макроэкономическая политика, функции и модели макроэкономического развития, макроэкономическая нестабильность и её… … Энциклопедия инвестора
ГОСТ Р ИСО/МЭК 19762-1-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 1. Общие термины в области АИСД — Терминология ГОСТ Р ИСО/МЭК 19762 1 2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 1. Общие термины в области АИСД оригинал документа: Accredited Standards… … Словарь-справочник терминов нормативно-технической документации
50.1.031-2001: Информационные технологии поддержки жизненного цикла продукции. Терминологический словарь. Часть 1. Стадии жизненного цикла продукции — Терминология 50.1.031 2001: Информационные технологии поддержки жизненного цикла продукции. Терминологический словарь. Часть 1. Стадии жизненного цикла продукции: 3.7.12. (всеобщее) управление качеством : Совокупность программных средств и данных … Словарь-справочник терминов нормативно-технической документации